首页> 外文OA文献 >Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems

【2h】

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems

机译：交互混合系统基于重写逻辑的形式分析中的自适应步长数值方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fadlisyah, Muhammad; Ábrahám, Erika; Ölveczky, Peter Csaba;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems [J] . Muhammad Fadlisyah, Peter Csaba ?lveczky, Erika ábrahám Electronic Notes in Theoretical Computer Science . 2011,第1期

机译：交互混合系统基于重写逻辑的形式分析中的自适应步长数值方法
2. Formal system interactive failure analysis method based on systems theoretic process analysis model [J] . Sun Rui, Zhong Deming, Li Weigang Engineering failure analysis . 2019,第期

机译：基于系统理论过程分析模型的正式系统交互式故障分析方法
3. Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? [J] . Muhammad Fadlisyah, Peter Csaba OElveczky, Erika Abraham Science of Computer Programming . 2015,第mara1期

机译：HI-Maude中交互混合系统的形式化建模和分析：2010年桑拿世界锦标赛发生了什么？
4. Formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection [C] . Fadlisyah Muhammad, Olveczky Peter Csaba, Abraham Erika 2011 CSI International Symposium on Computer Science and Software Engineering . 2011

机译：使用高阶数值方法和离散事件检测在混合逻辑中对混合系统进行形式化建模和分析
5. Numerical methods for optimal control of hybrid systems and applications to the national airspace system. [D] . Li, Jinhua. 2009

机译：混合系统最优控制的数值方法及其在国家空域系统中的应用。
6. Interactive knowledge discovery and data mining on genomic expression data with numeric formal concept analysis [O] . Jose M González-Calabozo, Francisco J Valverde-Albacete, Carmen Peláez-Moreno 2016

机译：利用数字形式概念分析对基因组表达数据进行交互式知识发现和数据挖掘
7. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems [O] . Fadlisyah Muhammad, Ölveczky Peter Csaba, Ábrahám Erika 2011

机译：交互混合系统基于重写逻辑的形式分析中的自适应步长数值方法

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems

著录项

引文网络

相似文献

相关主题

期刊订阅